224.3. A judge who ceases to hold office is eligible for a pension if the judge(1) has reached 65 years of age;
(2) has accumulated at least 21.7 years of service;
(3) has, in years of age and years of service, a combined total of 80 or more;
(4) has reached 55 years of age and accumulated at least five years of service.